Exercise 5-10

For the prop \(\ref{Rel as prop|\textbf{Rel|referenced}}\), provide the five aspects of props described in the notes.

Solution(1)
  1. TODO